Ppsr Logic